$\vdash$  FIncr $\in$ Type